#include <stdio.h>

/**
 *  comment1
 *  main: generate some simple output
 * @return
 */
int main(void) {
    printf("Hello, world.\n");
    return 0;
}
